--- data/css/style.css.orig	2011-08-19 20:00:05.000000000 +0200
+++ data/css/style.css	2011-08-22 21:36:42.000000000 +0200
@@ -19,7 +19,7 @@
 body {
     background: None repeat-x scroll left top #fff;
     color: #333;
-    font-family: arial, sans-serif;
+    font-family: 'DejaVu Sans', Arial, sans-serif;
 }
 
 a {
@@ -630,7 +630,7 @@
 }
 
 #console_out {
-    font-family: Monaco, Consolas,'Courier New',Courier, monospace;
+    font-family: 'Courier New', Courier, monospace;
     margin: 0 10px;
     height: 250px;
     overflow: auto;
